Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 SMT Solvers
Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146432
posts in
28.0
ms
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
22h
🧩
Constraint Programming
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
⚡
QuestDB
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
✓
Formal Verification
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Complexity of Satisfiability in
Kochen-Specker
Partial Boolean Algebras
arxiv.org
·
22h
🧩
Constraint Programming
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
14h
🔗
Dependent Types
Compose Stability and
Recomposition
Optimization — @Stable/@
Immutable/skippable
dev.to
·
23h
·
Discuss:
DEV
🔄
Salsa
Differential
Logic
• 15
inquiryintoinquiry.com
·
9h
∘
Category Theory
Build
Semantic
Search with LLM
Embeddings
machinelearningmastery.com
·
13h
🎯
Vector Search
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
37m
💬
Prompt Engineering
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
algo
A Common Interface for
Automatic
Differentiation
jmlr.org
·
15h
🌀
Naiad
nahhididwin/L-Representation
: L-Representation: Turning a Single Integer \
textit
{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com
·
21h
·
Discuss:
Hacker News
🍱
Nom
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
6h
💃
Dancing Links
[
Embedded
Artistry
] What I've Been Up to
kill-the-newsletter.com
·
4h
📚
Technical Writing
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
7h
🎲
Deterministic Simulation
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
9h
·
Discuss:
DEV
⏭️
Skip Lists
What a Wonderful World:
zkSNARKs
in the Algebraic Group Model are
Universally
Composable
eprint.iacr.org
·
4d
🔢
Homomorphic Encryption
TorchLean
:
Formalizing
Neural Networks in Lean
leandojo.org
·
2d
·
Discuss:
Hacker News
🔥
PyTorch
i3T4AN/Semantic-skill-space
: Semantic Skill Space (
SSS
): Injecting skill embeddings into KV cache for small-model agents to recover skill behavior with lower prompt-context overhead.
github.com
·
1d
·
Discuss:
r/LocalLLaMA
💬
Prompt Engineering
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help